Cauchy's Theorem for Abelian groups Let G be a finite Abelian group and p a prime that divides |G|. Then G has an element of order p.